Knihy od autora Stefan Leue

Zobrazené 1 – 4 z 4 výsledkov

1. 

   Formal Methods for Industrial Critical Systems

   Stefan Leue, Pedro Merino | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 14 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.86 €

   Kúpiť
2. 

   Theoretical and Practical Aspects of SPIN Model Checking

   Dennis Dams, Robert Gerth, Stefan Leue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 14 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.86 €

   Kúpiť
3. 

   Model Checking Software

   Dragan Bosnacki, Stefan Leue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 14 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.86 €

   Kúpiť
4. 

   Scenarios: Models, Transformations and Tools

   Stefan Leue, Tarja J. Systä | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 14 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.86 €

   Kúpiť

Knihy vám radi za malý poplatok darčekovo zabalíme. Zistite viac